document.write (" 42075 ");