document.write (" 7832 ");