document.write (" 9343 ");