document.write (" 9642 ");