document.write (" 42188 ");