document.write (" 12206 ");