document.write (" 9340 ");