document.write (" 10013 ");