document.write (" 42280 ");