document.write (" 13140 ");