document.write (" 42152 ");