document.write (" 94380 ");