document.write (" 31235 ");