document.write (" 21712 ");