5 ( 12503 .)