document.write (" 42027 ");