function point()
{
document.write ("713");
}