document.write (" 12202 ");