document.write (" 9744 ");