524 ] ( 6080 .)