document.write (" 42153 ");