document.write (" 12208 ");