document.write (" 6231 ");