document.write (" 13471 ");