document.write (" 6440 ");