document.write (" 4232 ");