document.write (" 9344 ");