document.write (" 3789 ");