document.write (" 7234 ");