document.write (" 12203 ");