document.write (" 13102 ");