document.write (" 42243 ");