document.write (" 7235 ");