document.write (" 8232 ");