5000 , t:s ) * 5000^:3 ) , [4000