document.write (" 9043 ");