document.write (" 17012 ");