document.write (" 42054 ");