document.write (" 10208 ");