document.write (" 12371 ");