document.write (" 8642 ");