document.write (" 9662 ");