document.write (" 42300 ");