document.write(' 6440 ');