document.write (" 12381 ");