document.write (" 42640 ");