document.write (" 13246 ");